a ^ b ^ c